SizedTypesScopeExtrusion.agda:21,41-42
Cannot solve size constraints
∞ =< i : Size (blocked on _size_15, belongs to problems 30, 31)
when checking that the expression x has type Nat
